4. A paraconsistent decision-making method /
پدیدآورنده : Fábio Romeu de Carvalho, Jair Minoro Abe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
5. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده : Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
6. Advanced Computational Methods for Knowledge Engineering : Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015.
پدیدآورنده : Le Thi, Hoai An
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Artificial intelligence,، Engineering
رده :
Q
335
.
A7853
2015
7. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
8. Advances in Intelligent Systems and Applications- Volume 1
پدیدآورنده : edited by Chang, Ruay-Shiung.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.
رده :
Q335
.
E358
2013
9. Advances in Stochastic Modelling and Data Analysis
پدیدآورنده : edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Distribution (Probability theory),Mathematics.
رده :
HB135
.
E358
1995
10. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
رده :
QA267
.
B996
2006
11. Advances in Verification of Time Petri Nets and Timed Automata :
پدیدآورنده : by Wojciech Penczek, Agata Pólrola.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
12. Advances in aeronautical informatics :
پدیدآورنده : Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aeronautics.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Aeronautics.,Aerospace & aviation technology.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Artificial intelligence.,Business mathematics & systems.,Information retrieval.,Network hardware.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL545
13. Advances in bioinformatics and computational biology :
پدیدآورنده : Ronnie Alves (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
رده :
QH324
.
2
14. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده : Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
15. Advances in multi-objective nature inspired computing
پدیدآورنده : / Carlos A. Coello Coelle, Clarisse Dhaenens, and Laetitia Jourdan (Eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial optimization,Natural computation,Artificial Intelligence (incl. Robotics),Appl. Mathematics/Computational Methods of Engineering
رده :
QA402
.
5
.
A383
2010
16. Algorithmic and artificial intelligence methods for protein bioinformatics /
پدیدآورنده : edited by Yi Pan, Jianxin Wang, Min Li
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Bioinformatics.,Proteins-- Analysis-- Mathematics.,Artificial Intelligence.,Computational Biology.,Proteins-- analysis.
رده :
QP551
18. Applications of Learning Classifier Systems
پدیدآورنده : edited by Larry Bull.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.
19. Applied artificial intelligence
پدیدآورنده : / edited by Da Ruan ... [et al.]
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Computational intelligence, Congresses,Nuclear physics, Mathematics, Congresses,Nuclear engineering, Mathematics, Congresses,Fuzzy logic, Congresses,Artificial intelligence, Congresses
رده :
Q342
.
I57
2006
20. Applied artificial intelligence :proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Nuclear physics - Mathematics,Congresses ، Nuclear engineering - Mathematics,Congresses ، Fuzzy logic,Congresses ، Artificial intelligence
رده :
Q
342
.
I57
2006
